Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. Nathan Foster Michael B. Greenwald

Source URL: www.cis.upenn.edu

• Computer science
• Principles of Programming Languages
• Computing
• Lambda calculus
• Logic in computer science
• Combinatory logic

Build-a-Tree: Parent-Child Gaming to Learn About Evolution in Museum Settings Krystal Villanosa - Northwestern University, Evanston, IL, USA Florian Block - Harvard University, Cambridge, MA, USA Michael Horn - Northwest

Source URL: tidal.sesp.northwestern.edu

2014 IEEE Security and Privacy Workshops Understanding Insider Threat: A Framework for Characterising Attacks Jason R.C. Nurse† , Oliver Buckley† , Philip A. Legg† , Michael Goldsmith† , Sadie Creese† , Gordon

Source URL: ieee-security.org

• Hacking
• Software testing
• Threat
• Abuse
• Vulnerability
• Attack tree
• Insider
• Motivation
• Computer network security
• Cyberwarfare
• Computer security

1 Transductive Multi-Label Learning via Alpha Matting Xiang-Nan Kong, Michael K. Ng, and Zhi-Hua Zhou, Senior Member, IEEE

Source URL: www.math.hkbu.edu.hk

• Computational statistics
• Semi-supervised learning
• Transduction
• Support vector machine
• Active learning
• Supervised learning
• Tree
• Statistical classification
• K-nearest neighbor algorithm
• Machine learning
• Artificial intelligence
• Learning

Tree Automata over Infinite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori

Source URL: alpha.uhasselt.be

• Tree automaton
• Regular language
• Logic
• Ω-automaton
• Automata theory
• Symbol
• Model theory

Dynamic Graphs in the Sliding-Window Model? Michael S. Crouch, Andrew McGregor, and Daniel Stubbs University of Massachusetts Amherst 140 Governors Drive, Amherst, MA 01003 {mcc,mcgregor,dstubbs}@cs.umass.edu

Source URL: people.cs.umass.edu

• Spanning tree
• Combinatorial optimization
• Matching
• Minimum spanning tree
• Graph
• NP-complete problems
• Graph theory
• Theoretical computer science
• Mathematics

GRADES GRADES Coast Redwoods ®

Source URL: education.savetheredwoods.org

• Ornamental trees
• Flora of North America
• California state parks
• Del Norte County
• California
• Sequoia sempervirens
• Save-the-Redwoods League
• Tree
• Sequoiadendron
• Michael Taylor
• Flora of the United States
• Redwood National and State Parks
• Botany

How Tall IS a Redwood? Many coast redwood trees are more than 320 feet tall! Have you ever wondered how big that REALLY is? It can be difficult for us to imagine. Get an idea by measuring your height and then calculating

Source URL: education.savetheredwoods.org

• Flora of North America
• Del Norte County
• California
• Humboldt County
• California
• Sequoia sempervirens
• Sequoiadendron
• Tree
• Michael Taylor
• Stratosphere Giant
• Flora of the United States
• Botany
• Ornamental trees

High Performance Dynamic Lock-Free Hash Tables and List-Based Sets Maged M. Michael IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NYUSA

Source URL: www.research.ibm.com

• Computer programming
• Linked list
• Hash table
• Trie
• Mutual exclusion
• Non-blocking algorithm
• Compare-and-swap
• Software transactional memory
• Tree traversal
• Concurrency control
• Computing
• Data management

Efficient Noise-Tolerant Learning from Statistical Queries MICHAEL KEARNS AT&T Laboratories—Research, Florham Park, New Jersey Abstract. In this paper, we study the problem of learning in the presence of classificatio

Source URL: www.cs.iastate.edu

• Mathematics
• Formal sciences
• Cybernetics
• Computational learning theory
• Pattern recognition
• Information theory
• Decision tree model
• PP
• Logarithm
• Theoretical computer science
• Applied mathematics
• Machine learning